TAGs: Solving inequalities